(Microsoft Word - JLP Planning \(rev 3\))

R e a s o n i n g , P r o c e e d i n g s E C A I 9 8 , p p . 3 8 3 – 3 8 7 . [ J u n g , e t a l . , 1 9 9 6 ] C . G . J u n g , K . F i s c h e r a n d A . B u r t , M u l t i A g e n t P l a n n i n g U s i n g a n A b d u c t i v e E v e n t C a l c u l u s , D F K I R e p o r t R R 9 6 0 4 ( 1 9 9 6 ) , D F K I , G e r m a n y . [ K a k a s , e t a l . , 1 9 9 8 ] A . C . K a k a s , A . M i c h a e l a n d C . M o u r l a s , A C L P : A C a s e f o r N o n M o n o t o n i c R e a s o n i n g , P r o c e e d i n g s o f t h e 7 t h I n t e r n a t i o n a l W o r k s h o p o n N o n M o n o t o n i c R e a s o n i n g ( N M 9 8 ) . [ K a u t z & S e l m a n , 1 9 9 6 ] H . K a u t z a n d B . S e l m a n , P u s h i n g t h e E n v e l o p e : P l a n n i n g , P r o p o s i t i o n a l L o g i c a n d S t o c h a s t i c S e a r c h , P r o c e e d i n g s A A A I 9 6 , p p . 1 1 9 4 – 1 2 0 1 . [ K o w a l s k i , 1 9 7 9 ] R . A . K o w a l s k i , A l g o r i t h m = L o g i c + C o n t r o l , C o m m u n i c a t i o n s o f t h e A C M , v o l . 2 2 , p p . 4 2 4 – 4 3 6 . [ K o w a l s k i , 1 9 9 5 ] R . A . K o w a l s k i , U s i n g M e t a L o g i c t o R e c o n c i l e R e a c t i v e w i t h R a t i o n a l A g e n t s , i n M e t a L o g i c s a n d L o g i c P r o g r a m m i n g , e d . K . R . A p t a n d F . T u r i n i , M I T P r e s s ( 1 9 9 5 ) , p p . 2 2 7 – 2 4 2 . [ K o w a l s k i & S e r g o t , 1 9 8 6 ] R . A . K o w a l s k i a n d M . J . S e r g o t , A L o g i c B a s e d C a l c u l u s o f E v e n t s , N e w G e n e r a t i o n C o m p u t i n g , v o l 4 ( 1 9 8 6 ) , p p . 6 7 – 9 5 . [ L e v e s q u e , 1 9 9 6 ] H . L e v e s q u e , W h a t I s P l a n n i n g i n t h e P r e s e n c e o f S e n s i n g ? P r o c e e d i n g s A A A I 9 6 , p p . 1 1 3 9 – 1 1 4 6 . [ L e v e s q u e , e t a l . , 1 9 9 7 ] H . L e v e s q u e , R . R e i t e r , Y . L e s p é r a n c e , F . L i n a n d R . B . S c h e r l , G O L O G : A L o g i c P r o g r a m m i n g L a n g u a g e f o r D y n a m i c D o m a i n s , T h e J o u r n a l o f L o g i c P r o g r a m m i n g , v o l . 3 1 ( 1 9 9 7 ) , p p . 5 9 – 8 3 . [ L i f s c h i t z , 1 9 9 4 ] V . L i f s c h i t z , C i r c u m s c r i p t i o n , i n T h e H a n d b o o k o f L o g i c i n A r t i f i c i a l I n t e l l i g e n c e a n d L o g i c P r o g r a m m i n g , V o l u m e 3 : N o n m o n o t o n i c R e a s o n i n g a n d U n c e r t a i n R e a s o n i n g , e d . D . M . G a b b a y , C . J . H o g g e r a n d J . A . R o b i n s o n , O x f o r d U n i v e r s i t y P r e s s ( 1 9 9 4 ) , p p . 2 9 7 – 3 5 2 . [ M i l l e r , 1 9 9 5 ] R . S . M i l l e r , S i t u a t i o n C a l c u l u s S p e c i f i c a t i o n s f o r E v e n t C a l c u l u s L o g i c P r o g r a m s , P r o c e e d i n g s o f t h e T h i r d I n t e r n a t i o n a l C o n f e r e n c e o n L o g i c